Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
181	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory
182	ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-08-13 12:44:18 Computability theory Logic Proof theory Mathematics Mathematical logic Reverse mathematics Model theory Philosophy of mathematics Symbol Fixed-point theorems Primitive recursive functional Generalised Whitehead product
183	Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2006-09-13 09:52:38 Logic Mathematics Abstraction Model theory Mathematical logic Proof theory Constructivism Jacques Herbrand Proof mining Term algebra First-order logic Fixed-point theorem
184	Reverse Mathematics and a Weak Ramsey-Type K¨onig’s Lemma Ludovic Patey Laurent Bienvenu Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:23 Mathematics Logic Mathematical logic Proof theory Abstraction Computability theory Reverse mathematics Second-order arithmetic Theorem Lemma
185	Epistemology Mathematicized “On [the] traditional view of the subject, the phrase ‘formal logic’ is pleonasm and ‘informal logic’ oxymoron.” John Burgess Add to Reading List Source URL: www.johnwoods.ca Language: English Philosophy Academia Epistemology Philosophy of science Critical thinking Statistical inference Logic Theory Philosophy of mathematics Formal epistemology Bayesian probability Mathematical proof
186	Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:33:41 Mathematical analysis Mathematics Operator theory Computability theory Approximation theory Fourier analysis Modulus of continuity Primitive recursive function Linear temporal logic Differential forms on a Riemann surface
187	Fachbereich Mathematik Proof mining and combinatorics Program extraction for Ramsey’s theorem for pairs Vom Fachbereich Mathematik Add to Reading List Source URL: tuprints.ulb.tu-darmstadt.de Language: English - Date: 2012-05-15 05:15:29 Mathematics Topology Mathematical analysis Computability theory General topology Proof theory Mathematical logic Reverse mathematics BolzanoWeierstrass theorem HeineBorel theorem Intermediate value theorem Primitive recursive function
188	I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-07-04 08:41:44 Computability theory Mathematical logic Proof theory Reverse mathematics Model theory Axiom of choice
189	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:12:20 Mathematical logic Logic Proof theory Computability theory Mathematics Constructivism Primitive recursive functional First-order logic Symbol Primitive recursive function Primitive recursive arithmetic Realizability
190	A Hundred Impossibility Proofs for Distributed Computing Nancy A. Lynch * Lab for Computer Science MIT, Cambridge, MAlynchQtds.Ics.mit.edu Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2002-07-16 15:58:53 Fault-tolerant computer systems Mathematical logic Distributed computing Consensus Failure Theory of computation Proof of impossibility Algorithm Byzantine fault tolerance Parallel computing Shared register

UPDATE